Model theory

Results: 13417



#Item
31A cubical model of homotopy type theory∗ Steve Awodey Stockholm, 21 June 2016 The main goal of these notes is to prove the following: Theorem. There is an algebraic weak factorization system (L, R) on the category of c

A cubical model of homotopy type theory∗ Steve Awodey Stockholm, 21 June 2016 The main goal of these notes is to prove the following: Theorem. There is an algebraic weak factorization system (L, R) on the category of c

Add to Reading List

Source URL: www.andrew.cmu.edu

- Date: 2018-02-12 22:13:01
    32MODEL STRUCTURE ON THE UNIVERSE IN A TWO LEVEL TYPE THEORY SIMON BOULIER, NICOLAS TABAREAU A BSTRACT. Last year we presented how to formalize a model structure on the universe of fibrant types in Homotopy Type System, an

    MODEL STRUCTURE ON THE UNIVERSE IN A TWO LEVEL TYPE THEORY SIMON BOULIER, NICOLAS TABAREAU A BSTRACT. Last year we presented how to formalize a model structure on the universe of fibrant types in Homotopy Type System, an

    Add to Reading List

    Source URL: hott-uf.github.io

    - Date: 2018-03-28 14:04:14
      33P RE - MODEL STRUCTURE ON THE UNIVERSE IN A TWO LEVEL TYPE THEORY Simon Boulier, Nicolas Tabareau INRIA, Nantes September 9, 2017

      P RE - MODEL STRUCTURE ON THE UNIVERSE IN A TWO LEVEL TYPE THEORY Simon Boulier, Nicolas Tabareau INRIA, Nantes September 9, 2017

      Add to Reading List

      Source URL: hott-uf.github.io

      - Date: 2018-03-28 14:04:14
        34

        Appendix A. REESE Program Logic Model INPUTS PROGRAM ACTIVITIES PROGRAM OUTPUT PROGRAM GOALS Communicate Research Select/Fund Create research that informs theory, practice, and policy

        Add to Reading List

        Source URL: higherlogicdownload.s3.amazonaws.com

        - Date: 2012-09-30 20:27:44
          35MODEL THEORY, ARITHMETIC GEOMETRY AND NUMBER THEORY MSRI Program January 20 to May 23, AZ03]

          MODEL THEORY, ARITHMETIC GEOMETRY AND NUMBER THEORY MSRI Program January 20 to May 23, AZ03]

          Add to Reading List

          Source URL: library.msri.org

          - Date: 2014-01-22 18:23:51
            36MODEL THEORY IN GEOMETRY AND ARITHMETIC MSRI Workshop May 12–16, E. Bouscaren (ed.), Model theory and algebraic geometry: an introduction to E. Hrushovski’s proof of the geometric Mordell–Lang conjecture,

            MODEL THEORY IN GEOMETRY AND ARITHMETIC MSRI Workshop May 12–16, E. Bouscaren (ed.), Model theory and algebraic geometry: an introduction to E. Hrushovski’s proof of the geometric Mordell–Lang conjecture,

            Add to Reading List

            Source URL: library.msri.org

            - Date: 2014-04-02 17:49:30
              37PSP Course 2017 Application of Pressure/Temperature Sensitive Paint Theory and Practice, February 27 - March 3 , 2017 Application of PSP For investigations of pressure distributions on wind tunnel model surfaces

              PSP Course 2017 Application of Pressure/Temperature Sensitive Paint Theory and Practice, February 27 - March 3 , 2017 Application of PSP For investigations of pressure distributions on wind tunnel model surfaces

              Add to Reading List

              Source URL: www.psp-tsp.com

              - Date: 2016-10-06 09:20:13
                38What a model with data says about theta D.A.S. Fraser, N. Reid and A. Wong November 29, 2006 Abstract Recent likelihood theory gives complete inference for scalar parameters in continuous statistical models; the methodol

                What a model with data says about theta D.A.S. Fraser, N. Reid and A. Wong November 29, 2006 Abstract Recent likelihood theory gives complete inference for scalar parameters in continuous statistical models; the methodol

                Add to Reading List

                Source URL: fisher.utstat.toronto.edu

                - Date: 2012-04-02 13:00:53
                  39A Model of Cubical Type Theory in Nuprl Mark Bickford Cornell University, Computer Science July 13, 2016

                  A Model of Cubical Type Theory in Nuprl Mark Bickford Cornell University, Computer Science July 13, 2016

                  Add to Reading List

                  Source URL: www.math.ias.edu

                  - Date: 2016-07-28 14:34:55
                    40Additive Polynomials and Their Role in the Model Theory of Valued Fields∗ Franz-Viktor Kuhlmann Dedicated to Mahmood Khoshkam († October 13,

                    Additive Polynomials and Their Role in the Model Theory of Valued Fields∗ Franz-Viktor Kuhlmann Dedicated to Mahmood Khoshkam († October 13,

                    Add to Reading List

                    Source URL: math.usask.ca

                    - Date: 2005-07-08 13:08:16